Dynamic Types and Type Dependent Functions
نویسنده
چکیده
When programs communicate with other programs, exibil-ity is demanded. Programs do not necessarily have information about each other. When assigning types to these communications a certain amount of dynamic typing is unavoidable. But we do not want our entire language to become dynamically typed, and consequently an interface between the statically and dynamically typed parts of the program has to be deened. Such an interface, using dynamics, has been introduced by Abadi et al. Leroy and Mauni extended the system of dynamics to allow the inclusion of polymorphic objects in dynamics. In this paper we extend the system even further with a restricted form of type dependent functions, which allow us to abstract over the types of the dynamics on functional level. In Clean, these type dependent functions will be implemented by overloading.
منابع مشابه
A Fully Integrated Method for Dynamic Rock Type Characterization Development in One of Iranian Off-Shore Oil Reservoir
Rock selection in modeling and simulation studies is usually based on two techniques; routinely defined rock types and those defined by special core analysis (SCAL). The challenge in utilizing these two techniques is that they are frequently assumed to be the same, but in practice, static rock-types (routinely defined) are not always representative of dynamic rock-types (SCAL defined) in the re...
متن کاملRelationship between Static and Dynamic Balance Characteristics with Types of MS in Women
MS is a lifelong disease that could involve the person in different forms. Knowing balance characteristics of different types of this chronic disease helps the specialists for controlling their complications. The purpose of this study was to recognize static and dynamic balance of different type of MS and to compare MS patients with healthy individual. 54 MS women in three groups (27- Relapsing...
متن کاملEFFECT OF TIME-DEPENDENT TRANSPIRATION ON AXISYMMETRIC STAGNATION-POINT FLOW AND HEATTRANSFER OF A VISCOUS FLUID ON A MOVING CIRCULAR CYLINDER
Effect of time dependent normal transpiration on the problem of unsteady viscous flow and heat transfer in the vicinity of an axisymmetric stagnation point of an infinite circular cylinder moving simultaneously with time-depended angular and axial velocities and with time-dependent wall temperature or wall heat flux are investigated. The impinging free stream is steady with a strain rate . A re...
متن کاملNew Criteria for Existence of a Class of Generalized Euler-types Constants
One of the most important mathematical constants is Euler-Mascheroni constant that is the limit of the sequence -------------------------------- and is denoted by gamma. Some other developed constants known as Euler type constants are introduced in order to generalize the above constant. In the present paper, inspired by the functional sequence derivative of the limit summand of functions (i...
متن کاملAnalysis of Five Parameter Viscoelastic Model Under Dynamic Loading
The purpose of this paper is to analysis the viscoelastic models under dynamic loading. A five-parameter model is chosen for study exhibits elastic, viscous, and retarded elastic response to shearing stress. The viscoelastic specimen is chosen which closely approximates the actual behavior of a polymer. The module of elasticity and viscosity coefficients are assumed to be space dependent i.e. f...
متن کامل